シグナル処理方法¶

シグナルはそれぞれ現在の「処理方法 (disposition)」を保持しており、 この処理方法によりシグナルが配送された際にプロセスが どのような振舞いをするかが決まる。

後述の表の "動作" の欄のエントリは各シグナルのデフォルトの 処理方法を示しており、以下のような意味を持つ。

Term

デフォルトの動作はプロセス終了。

Ign

デフォルトの動作はこのシグナルの無視。

Core

デフォルトの動作はプロセス終了とコアダンプ出力 (core(5) 参照)。

Stop

デフォルトの動作はプロセスの一時停止。

Cont

デフォルトの動作は、プロセスが停止中の場合にその実行の再開。

プロセスは、 sigaction(2) や signal(2) を使って、シグナルの処理方法を変更することができる (signal(2) の方が移植性は低い)。シグナルの配送時に起こる動作として プロセスが選択できるのは、次のいずれか一つである。 デフォルトの動作を実行する、シグナルを無視する、 シグナルハンドラ (signal handler) でシグナルを捕捉する。シグナルハンドラとは、シグナル配送時に 自動的に起動されるプログラマ定義の関数である。 (デフォルトでは、シグナルハンドラは通常のプロセスのスタック上で起動される。 シグナルハンドラが代替スタック (alternate stack) を使用するように設定する こともできる。代替スタックを使用するように設定する方法と、どのような際に 代替スタックが役に立つかについての議論については sigaltstack(2) を参照のこと。

シグナルの処理方法はプロセス単位の属性である。 マルチスレッドのアプリケーションでは、あるシグナルの処理方法は 全てのスレッドで同じである。

fork(2) で作成された子プロセスは親プロセスのシグナルの処理方法のコピーを継承する。 execve(2) の間、ハンドラが登録されているシグナルの処理方法はデフォルトにリセット され、無視となっているシグナルの処理方法は変更されずそのままとなる。

シグナルの送信¶

以下のシステムコールとライブラリ関数を使って、 呼び出し者はシグナルを送信することができる。

raise(3)

呼び出したスレッドにシグナルを送る。

kill(2)

指定されたプロセスや、指定されたプロセスグループの全メンバー、 システムの全プロセスにシグナルを送る。

killpg(2)

指定されたプロセスグループの全メンバーにシグナルを送る。

pthread_kill(3)

呼び出し者と同じプロセス内の指定された POSIX スレッドにシグナルを送る。

tgkill(2)

指定されたプロセス内の指定されたスレッドにシグナルを送る (このシステムコールを使って pthread_kill(3) は実装されている)。

sigqueue(2)

指定されたプロセスに付属データとともにリアルタイムシグナルを送る。

シグナルが捕捉されるのを待つ¶

以下のシステムコールを使って、シグナルが捕捉されるまで 呼び出したプロセスやスレッドの実行を中断 (suspend) することができる (ハンドラが設定されていないシグナルによりそのプロセスが終了した 場合にも実行の停止は終了する)。

pause(2)

何かシグナルが捕捉されるまで実行を停止する。

sigsuspend(2)

一時的にシグナルマスク (下記参照) を変更し、 マスクされていないシグナルのいずれかが捕捉されるまで 実行を中断する。

シグナルの同期受信¶

シグナルハンドラ経由でシグナルを非同期 (asynchronously) で捕捉する以外にも、 シグナルを同期 (synchronously) して受け付けることもできる。 同期して受け付けるとは、シグナルが配送されるまで実行を停止 (block) するということである。シグナルを受け付けた際に、カーネルは そのシグナルに関する情報を呼び出し者に返す。 これを行う一般的な方法が二つある。

• sigwaitinfo(2), sigtimedwait(2), sigwait(3) は、指定されたシグナル集合のシグナルの一つが配送されるまで実行を中断する。 どのシステムコールや関数でも、配送されたシグナルに関する情報が返される。
• signalfd(2) が返すファイルディスクリプタを使うと、呼び出し元に配送された シグナルに関する情報を読み出すことができる。 このファイルディスクリプタからの read(2) は、 signalfd(2) の呼び出し時に指定されたシグナル集合のシグナルの一つが呼び出し元に 配送されるまで停止 (block) する。 read(2) が返すバッファにはシグナルに関する情報を格納した構造体が入っている。

シグナルマスクと処理待ちシグナル¶

シグナルは ブロック (block) されることがある。ブロックされると、そのシグナルは その後ブロックを解除されるまで配送されなくなる。 シグナルが生成されてから配送されるまでの間、そのシグナルは 処理待ち (pending) であると呼ばれる。

プロセス内の各スレッドは、それぞれ独立な シグナルマスク (signal mask) を持つ。シグナルマスクはそのスレッドが現在ブロックしている シグナル集合を示すものである。 スレッドは、 pthread_sigmask(3) を使って自分のシグナルマスクを操作できる。 伝統的なシングルスレッドのアプリケーションでは、 sigprocmask(2) を使って、シグナルマスクを操作できる。

fork(2) 経由で作成された子プロセスは、 親プロセスのシグナルマスクのコピーを継承する。 execve(2) の前後でシグナルマスクは保持される。

生成されるシグナル (したがって処理待ちとなるシグナル) には、 プロセス全体宛てと特定のスレッド宛てがある。 例えば、プロセス全体宛てのシグナルは kill(2) を使って送信される。 特定のマシン語の命令の実行の結果として生成される、 SIGSEGV や SIGFPE などのシグナルは、スレッド宛てとなる。 また、 pthread_kill(3) を使って特定のスレッド宛てに生成されたシグナルも スレッド宛てとなる。 プロセス宛てのシグナルは、そのシグナルをブロックしていないスレッドのうち いずれかの一つに配送することができる。そのシグナルをブロックしていない スレッドが複数ある場合、シグナルを配送するスレッドはカーネルが 無作為に選択する。

スレッドは、 sigpending(2) を使って、現在処理待ちのシグナル集合を取得することができる。 この集合は、プロセス宛ての処理待ちシグナルと 呼び出したスレッド宛てのシグナルの両方から構成される。

fork(2) 経由で作成された子プロセスでは、処理待ちのシグナル集合は 空の集合で初期化される。 execve(2) の前後で、処理待ちのシグナル集合は保持される。

標準シグナル¶

Linux は以下に示す標準シグナルに対応している。 シグナル番号の一部はアーキテクチャ依存であり、"値" 欄に示す通りである。 (3つの値が書かれているものは、 1つ目が alpha と sparc で通常有効な値、 真ん中が ix86, ia64, ppc, s390, arm, sh での値、最後が mips での値である。 - はそのアーキテクチャにおいて対応するシグナルがないことを示す。)

最初に、POSIX.1-1990 に定義されているシグナルを示す。

シグナル SIGKILL と SIGSTOP はキャッチ、ブロック、無視できない。

次に、 POSIX.1-1990 標準にはないが、 SUSv2 と POSIX.1-2001 に記述されているシグナルを示す。

Linux 2.2 以前では、 SIGSYS, SIGXCPU, SIGXFSZ および SPARC と MIPS 以外のアーキテクチャでの SIGBUS のデフォルトの振る舞いは (コアダンプ出力なしの) プロセス終了であった。 (他の Unix システムにも SIGXCPU と SIGXFSZ のデフォルトの動作がコアダンプなしのプロセス終了のものがある。) Linux 2.4 では、POSIX.1-2001 での要求仕様に準拠して、 これらのシグナルで、プロセスを終了させ、コアダンプを出力する ようになっている。

次にその他の各種シグナルを示す。

(シグナル 29 は alpha では SIGINFO / SIGPWR だが、sparc では SIGLOST である。)

SIGEMT は POSIX.1-2001 に規定されていないが、 その他の多くの Unix システムに存在する。 デフォルトの動作は多くの場合、コアダンプ出力を伴うプロセスの終了である。

SIGPWR は (POSIX.1-2001 に規定されていないが) このシグナルが存在する 他の Unix システムでは多くの場合、デフォルト動作は無視である。

SIGIO は (POSIX.1-2001 に規定されていないが) いくつかの他の Unix システムでは デフォルト動作は無視である。

リアルタイムシグナル¶

Linux はリアルタイムシグナルをサポートしている。 リアルタイムシグナルは元々 POSIX.1b のリアルタイム拡張で定義されて いるものであり、現在では POSIX.1-2001 に含まれている。 対応しているリアルタイムシグナルの範囲は、マクロ SIGRTMIN と SIGRTMAX で定義される。 POSIX.1-2001 では、少なくとも _POSIX_RTSIG_MAX (8) 個のリアルタイムシグナルに対応した実装が要求されている。

Linux は、32 個の異なるリアルタイムシグナルに対応しており、 その番号は 33 から 64 である。 しかしながら、glibc の POSIX スレッド実装は、 内部で 2個 (NPTL の場合) か 3個 (LinuxThreads の場合) の リアルタイムシグナルを使用しており (pthreads(7) 参照)、 SIGRTMIN の値を適切に (34 か 35 に) 調整する。 利用可能なリアルタイムシグナルの範囲は glibc のスレッド実装により 異なるし (使用するカーネルと glibc により実行時にも変化する)、 Unix システムの種類によっても異なる。したがって、 プログラムでは「ハードコーディングした数字を使ってのリアルタイムシグナルの 参照は決してすべきではなく」、代わりに SIGRTMIN+n の形で参照すべきである。また、 SIGRTMIN+n が SIGRTMAX を超えていないかのチェックを (実行時に) 適切に行うべきである。

標準シグナルと異なり、リアルタイムシグナルには 事前に定義された意味はない。 リアルタイムシグナルの全部をアプリケーションで定義した用途に使える。 (但し、LinuxThreads 実装で、リアルタイムシグナルの番号のうち 最初の 3つが使用されている点に注意すること)

ハンドリングしないリアルタイムシグナルのデフォルトの動作は 受信したプロセスの終了である。

リアルタイムシグナルは以下の特徴がある:

1.

リアルタイムシグナルは複数の実体をキューに入れることができる。 一方、標準シグナルの場合、そのシグナルがブロックされている間に 同じシグナルの複数のインスタンスが配送されても、 1 つだけがキューに入れられる。

2.

シグナルが sigqueue(2) を用いて送信された場合、 付属データ (整数かポインタ) をシグナルと共に送信できる。 受信側プロセスが sigaction(2) に SA_SIGINFO フラグを指定してシグナルハンドラを設定した場合、 このデータは siginfo_t 構造体の si_value フィールド経由でハンドラの第 2 引き数として渡され、 利用することができる。 さらに、この構造体の si_pid と si_uid フィールドでシグナルを送信したプロセスの PID と実ユーザ ID を 得ることができる。

3.

リアルタイムシグナルでは配送される順序が保証される。 同じタイプのリアルタイムシグナルは送信された順番に到着する。 異なるリアルタイムシグナルが一つのプロセスに送信された場合、 番号の小さいシグナルから先に到着する。 (つまり小さい番号のシグナルが高い優先順位を持つ。) 対照的に、一つのプロセスに対して複数の標準シグナルが処理待ちとなった場合、 これらのシグナルが配送される順序は不定である。

一つのプロセスに対して標準シグナルとリアルタイムシグナルの両方が 処理待ちの場合、POSIX はどちらが先に配送されるかを規定していない。 Linux では、他の多くの実装と同様、このような場合には 標準シグナルが優先される。

POSIX によれば、1 プロセス毎に最低 _POSIX_SIGQUEUE_MAX (32) 個のリアルタイムシグナルをキューに入れられるべきとしている。 しかし、 Linux では違った実装になっている。カーネル 2.6.7 までは (2.6.7 を含む)、全プロセスでキューに入っているリアルタイムシグナル の数の合計についてシステム全体での制限がある。 この制限は /proc/sys/kernel/rtsig-max ファイルで見ることができ、 (権限があれば) 変更もできる。 関係するファイルとして、 /proc/sys/kernel/rtsig-nr を見ることで、いくつのリアルタイムシグナルが現在キューに入っているかを 知ることができる。 Linux 2.6.8 で、これらの /proc 経由のインターフェースは、 RLIMIT_SIGPENDING リソース制限に置き換えられた。 これは、キューに入るシグナル数に関してユーザ単位に 上限を指定するものである。 詳しくは setrlimit(2) を参照。

非同期シグナルで安全な関数 (async-signal-safe functions)¶

他の場所の処理はプログラム実行の任意の箇所で中断されるため、 sigaction(2) や signal(2) で登録するシグナルハンドラ関数には非常に注意しなければならない。 POSIX には「安全な関数 (safe function)」という概念がある。 シグナルが安全でない関数の実行を中断し、かつ handler が安全でない関数を呼び出した場合、プログラムの挙動は未定義である。

POSIX.1-2004 (POSIX.1-2001 Technical Corrigendum (正誤表) 2 とも言う) では、 シグナルハンドラ内での安全な呼び出しを保証することが必須の関数として 以下が規定されている。

_Exit()
_exit()
abort()
accept()
access()
aio_error()
aio_return()
aio_suspend()
alarm()
bind()
cfgetispeed()
cfgetospeed()
cfsetispeed()
cfsetospeed()
chdir()
chmod()
chown()
clock_gettime()
close()
connect()
creat()
dup()
dup2()
execle()
execve()
fchmod()
fchown()
fcntl()
fdatasync()
fork()
fpathconf()
fstat()
fsync()
ftruncate()
getegid()
geteuid()
getgid()
getgroups()
getpeername()
getpgrp()
getpid()
getppid()
getsockname()
getsockopt()
getuid()
kill()
link()
listen()
lseek()
lstat()
mkdir()
mkfifo()
open()
pathconf()
pause()
pipe()
poll()
posix_trace_event()
pselect()
raise()
read()
readlink()
recv()
recvfrom()
recvmsg()
rename()
rmdir()
select()
sem_post()
send()
sendmsg()
sendto()
setgid()
setpgid()
setsid()
setsockopt()
setuid()
shutdown()
sigaction()
sigaddset()
sigdelset()
sigemptyset()
sigfillset()
sigismember()
signal()
sigpause()
sigpending()
sigprocmask()
sigqueue()
sigset()
sigsuspend()
sleep()
sockatmark()
socket()
socketpair()
stat()
symlink()
sysconf()
tcdrain()
tcflow()
tcflush()
tcgetattr()
tcgetpgrp()
tcsendbreak()
tcsetattr()
tcsetpgrp()
time()
timer_getoverrun()
timer_gettime()
timer_settime()
times()
umask()
uname()
unlink()
utime()
wait()
waitpid()
write()

POSIX.1-2008 では、上記のリストのうち fpathconf(), pathconf(), sysconf() が削除され、以下の関数が追加された。

execl()
execv()
faccessat()
fchmodat()
fchownat()
fexecve()
fstatat()
futimens()
linkat()
mkdirat()
mkfifoat()
mknod()
mknodat()
openat()
readlinkat()
renameat()
symlinkat()
unlinkat()
utimensat()
utimes()

シグナルハンドラによるシステムコールやライブラリ関数への割り込み¶

システムコールやライブラリが停止 (block) している間にシグナルハンドラが 起動されると、以下のどちらかとなる。

• シグナルが返った後、呼び出しは自動的に再スタートされる。
• 呼び出しはエラー EINTR で失敗する。

これらの二つの挙動のうちどちらが起こるかは、インターフェイスにより依存し、 シグナルハンドラが SA_RESTART フラグ (sigaction(2) 参照) を使って設定されていたかにも依存する。 詳細は Unix システムによって異なる。 Linux における詳細を以下で説明する。

以下のインターフェイスのいずれかの呼び出しが停止している間に シグナルハンドラにより割り込まれた場合、 SA_RESTART フラグが使用されていれば、シグナルハンドラが返った後に その呼び出しは自動的に再スタートされることになる。 それ以外の場合は、その呼び出しはエラー EINTR で失敗することになる。

以下のインターフェイスは、 SA_RESTART を使っているどうかに関わらず、シグナルハンドラにより割り込まれた後、 再スタートすることは決してない。 これらは、シグナルハンドラにより割り込まれると、常にエラー EINTR で失敗する。

sleep(3) 関数も、ハンドラにより割り込まれた場合、決して再スタートされることはない。 しかし、成功となり、残っている停止時間を返す。

一時停止シグナルによるシステムコールやライブラリ関数への割り込み¶

Linux では、シグナルハンドラが設定されていない場合でも、 いくつかのブロッキング型のインターフェイスは、 プロセスが一時停止 (stop) シグナルの一つにより停止され、 SIGCONT により再開された後に、エラー EINTR で失敗する可能性がある。 この挙動は POSIX.1 で認められておらず、他のシステムでは起こらない。

この挙動を示す Linux のインターフェイスは以下の通りである。